Pre-Image Preserves Complement

Pre-Image Preserves Complement

For f:XY and BY

f1(Bc)=f1(B)c
Proof
xf1(Bc)f(x)Bcf(x)Bxf1(B)xf1(B)c